bi decomposition of large boolean functions using blocking published presentations and documents on DocSlides.